|
|
Technologie tažení drátů
Štys, Michal ; Císařová, Michaela (oponent) ; Řiháček, Jan (vedoucí práce)
Práce předkládá aktuální rešerši na téma technologie tažení drátu se zamřením na rozbor činitelů procesu, jejich výpočet a vliv na průběh procesu. V rámci rešerše jsou uvedeny jednotlivé metody tažení a technologický postup tažení drátu. Práce se dále zabývá geometrií a materiály průvlaků a jejich vlivy na kvalitu procesu a opotřebení nástroje. Následně jsou rozebrány aktuálně používané stroje, shrnuty jejich výhody, nevýhody a vhodnost použití v závislosti na materiálech tažených drátů a ekonomické rentabilitě. V závěru práce jsou uvedeny nekonvenční metody tažení drátu a budoucí vývoj těchto metod.
|
|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (oponent) ; Holík, Lukáš (vedoucí práce)
Nondeterministic finite automata (NFA) are widely used in computer science fields, such as regular languages in formal language theory, high-speed network monitoring, image recognition, hardware modeling, or even in bioinformatic for the detection of the sequence of nucleotide acids in DNA. They are also used in regular mode checking, in string solving, in verification of pointer manipulating programs, for construction of linear arithmetic equations and inequalities, for decision in WS1S and WS2S logic, and many others. Automata minimization is a fundamental technique that helps to decrease resource claims (memory, time, or a number of hardware components) of implemented automata and speed up automata operations. Commonly used minimization techniques, such as state merging, transition pruning, and saturation, can leave potentially minimizable automaton subgraphs with duplicit language information. These fragments consist of a group of states, where the part of language of one state is piecewise covered by the other states in this group. The thesis describes a new minimization approach, which uses SAT solver, which provides information for efficient minimization of these so far nonminimizable automaton parts. Moreover, the newly investigated method, which only uses solver information and state merging, can minimize the automaton similarly and on automata with low transition count faster than a tool RABIT/Reduce, which uses state merging and transition pruning.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (oponent) ; Doc. In.g Petr Sosík, Dr. (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces the notion of a one-sided random context grammar as a context-free-based regulated grammar, in which a set of permitting symbols and a set of forbidding symbols are attached to every rule, and its set of rules is divided into the set of left random context rules and the set of right random context rules . A left random context rule can rewrite a nonterminal if each of its permitting symbols occurs to the left of the rewritten symbol in the current sentential form while each of its forbidding symbols does not occur there. A right random context rule is applied analogically except that the symbols are examined to the right of the rewritten symbol. The thesis is divided into three parts. The first part gives a motivation behind introducing one-sided random context grammars and places all the covered material into the scientific context. Then, it gives an overview of formal language theory and some of its lesser-known areas that are needed to fully grasp some of the upcoming topics. The second part forms the heart of the thesis. It formally defines one-sided random context grammars and studies them from many points of view. Generative power, relations to other types of grammars, reduction, normal forms, leftmost derivations, generalized and parsing-related versions all belong between the studied topics. The final part of this thesis closes its discussion by adding remarks regarding its coverage. More specifically, these remarks concern application perspectives, bibliography, and open problem areas.
|
|
|
Úloha síranu železnatého jako regulátoru tuhnutí a redukčního činidla portlandského slínku
Mončeková, Miroslava ; Rovnaníková, Pavla (oponent) ; Drábik, Milan (oponent) ; Havlica, Jaromír (vedoucí práce)
V roce 2003 byla směrnicí Evropského parlamentu a Rady 2003/53/ES stanovena maximální hodnota rozpustného šestimocného chromu na 0,0002 % (vztaženo na celkovou hmotnost suchého cementu). Dodržení tohoto limitu vyžaduje úpravu standardního portlandského cementu pomocí přídavku vhodného redukčního činidla, čímž se studium možností redukce šestimocného chrómu stává velmi diskutovaným a žádaným tématem. Primárním cílem této práce je základní výzkum, který popisuje vliv síranu železnatého na redukci šestimocného chromu a současně také jeho vliv na hydratační mechanizmus samotného portlandského slínku. Redukční schopnost železnatých iontů byla ověřena UV/VIS spektrometrií. Mechanizmus a vliv síranu železnatého na hydrataci portlandského slínku byl sledován izotermickou kalorimetrií a pevnostními charakteristiky. XRD metoda, SEM-EDS analýza a Ramanská mikroskopie byly použity pro identifikaci vznikajících hydratačních produktů. Studium hydratačního mechanizmu probíhajícího v tomto systému bylo zaměřeno na sledování odchylek od běžné hydratace portlandského cementu. Důležité informace o chování chromu během hydratace (substituce resp. uvolňování) poskytla analýza pórového roztoku. Zabudování chrómu do struktury hydratačních produktů během redukčního procesu bylo sledováno v čistém systému trikalciumaluminátu s cíleným obsahem Cr6+. Tato práce poukazuje na možný mechanismus substituce třímocného i šestimocného chromu do struktury monosulfátové (AFm) fáze.
|
|
|
Vizualizace výrazů procesní algebry pi-kalkul
Prokopová, Dagmar ; Křivka, Zbyněk (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.
|
|
|
Hluk leteckých proudových motorů
Szelke, Ludvík ; Vacula, Jiří (oponent) ; Novotný, Pavel (vedoucí práce)
Ve své bakalářské práci se snažím prezentovat zdroje hluku leteckých proudových motorů. Nejprve čtenáře seznámím s krátkou historii vývoje proudových motorů a principu funkce proudového motoru. Dále pokračuji všeobecnými znalostmi o hluku jako takovém, čím se měří a jaké má dopady na náš život. Následuje analýza zdrojů hluku proudového motoru jak teoretická, tak i pomocí počítačového modelu. Na konci své práce se věnuji především možnostem redukce hluku u zdrojů, a i možnému budoucímu vývoji.
|
|
|
Interakce esenciálních aminokyselin s ionty železa
Nadějová, Jana ; Karlíčková, Jana (vedoucí práce) ; Siatka, Tomáš (oponent)
Univerzita Karlova Farmaceutická fakulta v Hradci Králové Katedra farmakognozie a farmaceutické botaniky Kandidát: Jana Nadějová Školitel: PharmDr. Jana Karlíčková, Ph.D. Název diplomové práce: Interakce esenciálních aminokyselin s ionty železa Železo je důležitý stopový prvek, který je potřebný pro správnou funkci organismu. Nedostatek, stejně tak jako nadbytek železa může vést k patologickým stavům, proto je potřeba hladinu železa v krvi kontrolovat a v případě přetížení těla železem, lze jeho chelataci povazovat za možný terapeutický nástroj. Chelátory pro tyto léčebné účely by měly být tělu vlastní látky. Aminokyseliny jsou tedy ideálními kandidáty na regulaci homeostázy železa v organismu, proto se tato diplomová práce zaměřuje na některé z nich. Jednotlivé aminokyseliny jsou spojeny pomocí peptidové vazby a tvoří tak proteiny. Proteinogenní aminokyseliny dělíme na esenciální, které je třeba přijímat potravou a neesenciální, jež si tělo dokáže vytvořit samo. Cílem této práce bylo porovnat železo-chelatační a železo-redukční aktivitu esenciálních aminokyselin L-histidinu, L-methioninu a neesenciálních aminokyselin L-cysteinu, jeho dimeru L-cystinu, L-asparagové a L-glutamové kyseliny. Součástí výzkumu byla také látka odvozená od L-cysteinu, N-acetylcystein. Testování všech látek bylo prováděno...
|
|
|
Interakce chalkonů s přechodnými kovy II.
Šulcová, Martina ; Macáková, Kateřina (vedoucí práce) ; Mladěnka, Přemysl (oponent)
Univerzita Karlova v Praze Farmaceutická fakulta v Hradci Králové Katedra farmaceutické botaniky Kandidát: Martina Šulcová Školitel: Doc. Ing. Kateřina Macáková, Ph.D. Název diplomové práce: Interakce chalkonů s přechodnými kovy II. Měď patří mezi esenciální prvky lidského těla, který se podílí na fungování mnoha enzymů a metabolických drah. I když se v těle objevuje ve stopovém množství, jeho funkce je nezastupitelná. Hladina iontů však musí být udržována v rovnováze různými tělními mechanismy. Pokud je měď v těle v nadbytku či nedostatku, může tento stav vést k vývoji zdravotních problémů. Chalkony jsou látky patřící ke skupině flavonoidů. Jejich polyfenolická struktura nemá uzavřený kruh C. Studie popisují jejich protirakovinné, protizánětlivé, protivirové, antidiabetické, antibakteriální, antioxidační, imunosupresivní a jiné vlastnosti. V této diplomové práci byly testovány vybrané látky ze skupin dihydrochalkonů (naringin dihydrochalkon, neohesperidin dihydrochalkon, floretin, florizin) a chalkonů (isoliquiritigenin, likochalkon A) pro jejich schopnost chelatovat či redukovat ionty mědi. Aktivita byla měřena při různých pH prostředí (4,5; 5,5; 6,8 a 7,5) a v prostředí DMSO spektrofotometricky za použití indikátorů hematoxylinu a disodné soli kyseliny bathocuproindisulfonové. Na základě...
|
|
|
Žáci s odlišným mateřským jazykem v českých školách
HOUDKOVÁ, Klára
Bakalářská práce se zaměřuje na aktuální problematiku vyučování žáků s odlišným mateřským jazykem. Práce se zaměřuje na řešení redukce jazykové bariéry, která je největším problémem ve vyučování žáků s OMJ. Text se zabývá charakteristikou žáků s OMJ, jejich začleňováním do třídního kolektivu, problémy, které mohou nastat u těchto žáků. Celkově se v práci vysvětlují všechny potřebné informace týkající se výuky žáků s OMJ z pohledu pedagogů. Cílem je zjistit nejlepší způsob redukce jazykové bariéry a také vhodné přístupy učitelů.
|
host ::
RSS.